#undef  CONFIG_IPMI_DEVICE_INTERFACE
